Relativization makes contradictions harder for Resolution
نویسندگان
چکیده
منابع مشابه
Relativisation makes contradictions harder for Resolution
We provide a number of simplified and improved separations between pairs of Resolution-with-bounded-conjunction refutation systems, Res(d), as well as their tree-like versions, Res∗(d). The contradictions we use are natural combinatorial principles: the Least number principle, LNPn and an ordered variant thereof, the Induction principle, IPn. LNPn is known to be easy for Resolution. We prove th...
متن کاملMargaret McCartney: Alarm overload makes a difficult job harder.
“Just ask . . . could it be sepsis?” The Sepsis Trust has issued posters instructing parents to ask this, as “it’s a simple question but could save a life.” It’s also produced a list of what to look out for. Any child who is breathing quickly, has a fit or is unconscious, looks mottled, blue, or pale, has a non-blanching rash, is very lethargic or difficult to wake, or is abnormally cold to tou...
متن کاملWhat Makes Petri Nets Harder to Verify: Stack or Data?
We show how the yardstick construction of Stockmeyer, also developed as counter bootstrapping by Lipton, can be adapted and extended to obtain new lower bounds for the coverability problem for two prominent classes of systems based on Petri nets: Ackermann-hardness for unordered data Petri nets, and Tower-hardness for pushdown vector addition systems.
متن کاملRatio of dependent patients to nurses makes job much harder.
Standards are not going to improve in line with the aims of the Care campaign without good staffing levels.
متن کاملRelativization: a Revisionistic Retrospective
For almost two decades, contradictory relativization has been a central theme in complexity theory. This concept was first introduced by Baker, Gill and Solovay [BGS75] in their ground breaking paper where they exhibited oracles A and B such that P = NP and P 6= NP. This result was startling because almost all results in recursion theory remain true in the presence of oracles and most technique...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2014
ISSN: 0168-0072
DOI: 10.1016/j.apal.2013.10.009